Normal decompositions in systems without the ascending chain condition.
نویسندگان
چکیده
منابع مشابه
Reverse Mathematics, Young Diagrams, and the ascending Chain condition
Let S be the group of finitely supported permutations of a countably infinite set. Let K[S] be the group algebra of S over a field K of characteristic 0. According to a theorem of Formanek and Lawrence, K[S] satisfies the ascending chain condition for two-sided ideals. We study the reverse mathematics of this theorem, proving its equivalence over RCA0 (or even over RCA0 ) to the statement that ...
متن کاملPure Type Systems without the -condition
In this paper we deene the notion of pure type systems without the-condition. The-condition is the requirement that the type of an abstraction is typable. A pure type system without the-condition can be considered as an extension of the corresponding pure type system. We prove, besides studying the general properties of these systems, that weak normalisation is preserved by the extension. Using...
متن کاملAscending subgraph decompositions of regular graphs
We prove that every regular graph with ( n+1 2 ) + t edges, 06 t ¡ n + 1, can be decomposed into n subgraphs G1; G2; : : : ; Gn such that |E(Gi)| = i and Gi 6Gi+1 for i = 1; 2; : : : ; n − 1 and |E(Gn)|= n+ t. c © 2002 Elsevier Science B.V. All rights reserved.
متن کاملThe Condition Number of Join Decompositions∗
The join set of a finite collection of smooth embedded submanifolds of a mutual vector space is defined as their Minkowski sum. Join decompositions generalize some ubiquitous decompositions in multilinear algebra, namely tensor rank, Waring, partially symmetric rank and block term decompositions. This paper examines the numerical sensitivity of join decompositions to perturbations; specifically...
متن کاملModules Satisfying the Ascending Chain Condition on Submodules with a Bounded Number of Generators
It is proved that if R is a right and left Noetherian ring then the right R-module RI satisfies the ascending chain condition on n-generated submodules, for every positive integer n. Mathematics Subject Classification (2000): 16P70
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Michigan Mathematical Journal
سال: 1970
ISSN: 0026-2285
DOI: 10.1307/mmj/1029000424